Условие неметризуемости

Перевод условие неметризуемости на английский язык

Он доказал условие неметризуемости пространства.

He proved the condition of non-metrizability of the space.